Nuprl Definition : es-init-state
11,40
postcript
pdf
es-init-state(
es
;
i
)(
x
) == es-initially(
es
;
i
;
x
)
latex
Definitions
x
.
A
(
x
)
,
es-initially(
es
;
i
;
x
)
FDL editor aliases
es-init-state
origin
x.A(x)x.A(x)